El enigma de Kripke: una solución formal-intensional
نویسندگان
چکیده
منابع مشابه
El camarón como una fuente de alérgenos
Contribución de los autores: Marlon Múnera: búsqueda bibliográfica y redacción de aspectos moleculares de los alérgenos y la reacción cruzada, elaboración del cuadro y las figuras; participó en los análisis de la composición alergénica de los extractos de camarón y de la prevalencia de reacción al camarón en la población alérgica del trabajo de investigación relacionado en esta revisión. Luis G...
متن کاملFormal Support to Security Protocol Development: A Survey Soporte Formal para el Desarrollo de Protocolos de Seguridad: una Visión General
Security protocols aim to allow two or more principals to establish a secure communication over a hostile network, such as the Internet. The design of security protocols is particularly error-prone, because it is difficult to anticipate what an intruder may achieve interacting through a number of protocol runs, claiming to be an honest participant. Thus, the verification of security protocols h...
متن کاملUna Propuesta de V&V en el Marco de MDA
La propuesta MDA del OMG está teniendo un gran auge en los últimos años. A pesar de la numerosa documentación existente sobre ella, todavía existen aspectos no de nidos, de nidos de forma imprecisa o a los que todavía no se les ha prestado la su ciente atención. Entre estos aspectos, se ha detectado la ausencia de metodologías para el desarrollo software basadas en MDA, la cual ha sido suplida ...
متن کاملHacia una solución basada en frameworks para la definición de refactorizaciones con independencia del lenguaje
Resumen En este trabajo se presenta el estudio de un conjunto de refactorizaciones desde el punto de vista de un lenguaje modelo. El objetivo es validar la factibilidad de llevar a cabo, sobre un framework que conceptualice las abstracciones del lenguaje modelo, las operaciones de refactorización definidas en base a dichas abstracciones. De esta manera se avanza hacia una solución al desarrollo...
متن کامل[Crónica desafortunada de una lucha contra el sistema].
Paciente de 38 años que nos llega al centro penitenciario procedente del exterior, en septiembre de 2007. Antecedentes de alcoholismo crónico, con encefalopatía de Wernicke; alteraciones psiquiátricas en relación con toxicomanía por alcohol y cocaína. Tuberculosis pulmonar, bien tratada, cinco años antes. Fumador importante. Cuenta que unos dos meses antes de su ingreso había consultado en ORL ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Crítica (México D. F. En línea)
سال: 1994
ISSN: 1870-4905,0011-1503
DOI: 10.22201/iifs.18704905e.1994.930